Data types - PDFSEARCH.IO - Document Search Engine

Data types
Results: 6238

#	Item
461	Declarative foreign function binding through generic programming Jeremy Yallop, David Sheets and Anil Madhavapeddy University of Cambridge Computer Laboratory Abstract. Foreign function interfaces are typically organise Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2015-12-17 06:24:32 Software engineering Computer programming Computing C++ C Data types Object-oriented programming languages Functional languages Typedef OCaml Const Pointer
462	Finding Error Handling Bugs in OpenSSL using Coccinelle Julia Lawall∗ , Ben Laurie† , Ren´e Rydhof Hansen‡ , Nicolas Palix∗ and Gilles Muller§ ∗ University of Copenhagen, Email: {julia,npalix}@diku.dk † Goo Add to Reading List Source URL: coccinelle.lip6.fr Language: English - Date: 2012-01-04 11:08:48 Cryptographic software Internet security Object-oriented programming languages OpenSSL Data types Subroutines Coccinelle D Software bug Scope Relational operator Printf format string
463	6.006 Intro to Algorithms Recitation 03 February 9, 2011 Add to Reading List Source URL: courses.csail.mit.edu Language: English - Date: 2011-02-10 12:23:53 Graph theory Computer programming Binary trees Software engineering Data types B-tree Tree traversal Search tree Binary search tree Tree Treap Threaded binary tree
464	Simulation of Built-in PHP Features for Precise Static Code Analysis Johannes Dahse Thorsten Holz Add to Reading List Source URL: syssec.rub.de Language: English - Date: 2014-01-21 13:22:44 Software engineering Computing Computer programming Scripting languages Data types Cross-platform software Object-oriented programming languages Functional languages RIPS PHP Data-flow analysis Scope
465	From “Research Topics in Functional Programming” ed. D. Turner, Addison-Wesley, 1990, pp 17–42. Why Functional Programming Matters John Hughes Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2006-05-19 11:07:35 Software engineering Computer programming Declarative programming Functional programming Data types Higher-order functions Programming language comparisons Lisp Fold Cons Append List
466	COMP 520 FallThe WIG language (1) COMP 520 Fall 2007 Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-10-01 19:56:53 Software engineering Computing Computer programming HTML World Wide Web Data types Const Common Gateway Interface Printf format string Generator Form HTML element
467	Tracing ambiguity in GADT type inference Jacques Garrigue∗ Didier R´emy† Abstract Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-09-06 08:22:15 Type theory Data types Functional languages Type systems Object-oriented programming languages OCaml Type inference Generalized algebraic data type Unification ML HindleyMilner type system Type conversion
468	MWR Labs Walkthrough Windows Kernel Exploitation 101: Exploiting CVESam Brown Add to Reading List Source URL: www.exploit-db.com Language: English - Date: 2016-04-05 16:42:45 Computing Software engineering Computer programming Data types Control flow C DLL injection Hooking WindowProc Subroutines Callback Typedef
469	COMP 520 FallCode generation (1) Code generation Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-11-03 22:46:28 Software engineering Computing Computer programming C Data types Procedural programming languages Const ALGOL 68 Typedef C++ classes Struct Union type
470	COMP 520 FallType checking Type checking (1) Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-10-15 11:10:41 Data types Software engineering Type theory Computing Programming language theory Program analysis Type system Const

UPDATE